$\forall$$A$:es\_realizer\{i:l\}. R{-}Feasible\{i:l\}($A$) $\Rightarrow$ R{-}compat\{i:l\}($A$; $A$)